
<?php
/*

This file is invoked when a user presses the logout button.  The action is simply to destroy the SESSION, i.e. the user's logged in status.

*/


 session_start();
// remove all session variables
session_unset(); 

// destroy the session 
session_destroy(); 

exit(header("location: searchSholem.cgi"));
?>

